Topological categories with many symmetric monoidal closed structures
نویسندگان
چکیده
منابع مشابه
Monads on Symmetric Monoidal Closed Categories By
Introduction. This note is concerned with "categories with internal horn and | and we shall use the terminology from the paper [2] by EIL~.NBERG and Kv.Imy. The result proved may be stated briefly as follows : a Y/--monad ("strong monad") on a symmetric monoidal closed category ~ carries two canonical structures as closed functor. I f these agree (in which case we call the monad commutative), t...
متن کاملIsomorphic Objects in Symmetric Monoidal Closed Categories
Isomorphic objects in symmetric monoidal closed categories† K O S T A D O Š E N ‡ and Z O R A N P E T R I Ć § ‡ University of Toulouse III, Institut de Recherche en Informatique de Toulouse, 118 route de Narbonne, 31062 Toulouse cedex, France and Mathematical Institute, Knez Mihailova 35, P.O. Box 367, 11001 Belgrade, Yugoslavia § University of Belgrade, Faculty of Mining and Geology, Djušina 7...
متن کاملGraph Rewrite Systems for Classical Structures in †-Symmetric Monoidal Categories
This paper introduces several related graph rewrite systems derived from known identities on classical structures within a †-symmetric monoidal category. First, we develop a rewrite system based on a single classical structure, and use it to develop a proof of the so-called “spider-theorem,” where a connected graph containing a single classical structure can be uniquely determined by the number...
متن کاملOn traced monoidal closed categories
The structure theorem of Joyal, Street and Verity says that every traced monoidal category C arises as a monoidal full subcategory of the tortile monoidal category IntC. In this paper we focus on a simple observation that a traced monoidal category C is closed if and only if the canonical inclusion from C into IntC has a right adjoint. Thus, every traced monoidal closed category arises as a mon...
متن کاملSome Monoidal Closed Categories of Stable Domains and Event Structures
This paper introduces the following new constructions on stable domains and event structures: the tensor product, the linear function space, and the exponential. It results in a monoidal closed category of dI-domains as well as one of stable event structures which can be used to interpret intuitionistic linear logic. Finally, the usefulness of the category of stable event structures for modelin...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Bulletin of the Australian Mathematical Society
سال: 1985
ISSN: 0004-9727,1755-1633
DOI: 10.1017/s0004972700002264